Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
31	Runtime Checking of Datatype Signatures in MPI⋆ William D. Gropp Mathematics and Computer Science Division Argonne National Laboratory Argonne, Illinois 60439 Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:11 Computer programming Computing Parallel computing Software engineering Application programming interfaces Message Passing Interface Type theory C++ C++ classes Type signature MPI Hash function
32	Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Rackspace Inc. Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:51 Software engineering Computing Computer programming Data types Type theory Subroutines Functional programming Lambda calculus Type system Gradual typing Anonymous function Type safety
33	ROOM RESERVATION FORM Please use one form for each booking and type in all information Function Name: 10th International Worldwide Web Conference Add to Reading List Source URL: www10.wwwconference.org Language: English - Date: 2001-01-29 05:05:28 Payment systems Credit card
34	CS364B: Exercise Set #4 Due by the beginning of class on Wednesday, February 5, 2014 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TA (Okke). Please type your solutions Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-01-31 23:29:10 Auction theory Auctions Game theory Mechanism design Mathematics Marketing VickreyClarkeGroves auction Valuation Auction Submodular set function Vickrey auction Bayesian-optimal mechanism
35	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 14:54:18 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
36	Towards Gradual Typing in Jython Michael M. Vitousek Shashank Bharadwaj Jeremy G. Siek Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:51 Software engineering Computer programming Computing Object-oriented programming languages Subroutines Data types Functional programming Type theory Parameter Type system Higher-order function Pointer
37	The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:18:50 Computability theory Mathematics Mathematical logic Theoretical computer science Recursion Theory of computation Primitive recursive function Recursive data type Mutual recursion Automated theorem proving Theorem Presentation of a group
38	KEK GRID CA Certificate and CRL Profile VerMay 30, 2016 Add to Reading List Source URL: gridca.kek.jp Language: English - Date: 2016-05-25 03:17:59 Internet Standards Internet protocols Cryptographic protocols Character encoding Public key infrastructure String Lightweight Directory Access Protocol Null Online Certificate Status Protocol Data type Hash function Value
39	The Standard Lisp Report Jed Marti A. C. Hearn M. L. Griss C. Griss Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:50 Data types Functional programming Subroutines Lisp Functional languages Eval Anonymous function Fexpr Boolean data type Recursion Map Cons
40	Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Data types Object-oriented programming Model theory Polymorphism Subtyping Type system FO Generic programming Functional predicate -recursive function Function

UPDATE